]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 55b0361) | patch
workspacesView: Handle reordering of workspaces
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 9 Jul 2019 12:03:22 +0000 (14:03 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Tue, 9 Jul 2019 12:41:35 +0000 (14:41 +0200)
commitd0da96ad299680f9871ffa502bf75b871e5dc055
tree4f401cbfbea6b43249f4447fc030cc965a5f8daftree | snapshot
parent55b036170b5aafa542bbe84492066c2315be231bcommit | diff
workspacesView: Handle reordering of workspaces

MetaWorkspaceManager gained the ability to reorder workspaces, so make
sure to pick up the new order when that happens.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/620
js/ui/workspacesView.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.